Complexity of Reasoning
نویسنده
چکیده
We present lower bounds on the computational complexity of satisfiability and subsumption in several description logics. We interpret these lower bounds as coming from different “sources of complexity”, which we isolate one by one. We consider both reasoning with simple concept expressions and with an underlying TBox. We discuss also complexity of instance check in simple ABoxes. We tried to enhance clarity and ease of presentation, sometimes sacrificing exhaustiveness for lack of space.
منابع مشابه
Different Task Complexity Factors and Cognitive Individual Differences: The Effects on EFL Writers’ Performance
This study aimed at examining the main and interaction effects of increased intentional reasoning demands, planning time, and also language learning aptitude on syntactic complexity, accuracy, lexical complexity, and fluency (CALF) of 226 EFL learners’ performance on letter writing tasks. The participants were first randomly assigned to three experimental groups to be given a task with differin...
متن کاملTask Complexity Manipulation and Accuracy in Writing Performance
This study aimed to investigate the impact of task sequencing, along +/- reasoning demands dimension, on writing task performance in terms of accuracy. The study was motivated by Robinson’s Cognition Hypothesis (CH) as well as previous studies investigating the relationships between task complexity and second language production. The participants of the study were 90 intermediate students at t...
متن کاملThe effect of increase in task cognitive complexity on Iranian EFL learners’ accuracy and linguistic complexity: A test of Robinson’s Cognition Hypothesis
Designing a task with a reasonable level of cognitive complexity has always been important for syllabus designers, teachers, as well as researchers. This is because task manipulation may lead to different results in oral production. The present study was an attempt to explore the effect of this manipulation - based on Robinson’s resource-directing model (reasoning demands, number of el...
متن کاملFuture study of Description System Architecture Approaches with Emphasis on Strategic Management
Systems Architecture is a generic discipline to handle objects (existing or to be created) called systems, in a way that supports reasoning about the structural properties of these objects. Systems Architecture is a response to the conceptual and practical difficulties of the description and the design of complex systems. Systems Architecture is a generic discipline to handle objects (existin...
متن کاملThe Effect of Task Sequencing on the Writing Fluency of English as Foreign Language Learners
This study investigated the effect of sequencing tasks from simple to complex along +/- reasoning demands on fluency in writing task performance of English as Foreign Language (EFL) learners. The participants of this study included 90 intermediate EFL learners from three intact class divisions at the Islamic Azad Uni- versity, Shahr-e-Qods Branch. They were distributed in three groups: Experime...
متن کاملExploring the Role of Cognitive and Procedural Task Complexity in EFL Learners' Attention to L2 System and Form-focused Self-repairs
In L2 development, the cognitive complexity of tasks plays a crucial role in task performance and language features produced. However, there have only been few studies addressing the impact of task complexity on EFL learners' attention to L2 system and form-focused self-repairs (FFS).This study explores the role of increasing cognitive task complexity in EFL learners' form-focused attention (FF...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003